2

MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

Année:
1989
Langue:
english
Fichier:
PDF, 2.69 MB
english, 1989
4

Automated theorem proving in mathematics

Année:
1993
Langue:
english
Fichier:
PDF, 1.58 MB
english, 1993